<?php
class Kernel extends App_Kernel
{
    protected static $_instance = null;

    public static function getInstance($appRoot = null, $config = null)
    {
        if (is_null(self::$_instance)) {
            self::$_instance = new self($appRoot, $config);
        }
        return self::$_instance;
    }

}
